Approaching the Coverability Problem Continuously

The coverability problem for Petri nets plays a central role in the verification of concurrent shared-memory programs. However, its high EXPSPACE-complete complexity poses a challenge when encountered in real-world instances. In this paper, we develop a new approach to this problem which is primarily based on applying forward coverability in continuous Petri nets as a pruning criterion inside a backward coverability framework. A cornerstone of our approach is the efficient encoding of a recently developed polynomial-time algorithm for reachability in continuous Petri nets into SMT. We demonstrate the effectiveness of our approach on standard benchmarks from the literature, which shows that our approach decides significantly more instances than any existing tool and is in addition often much faster, in particular on large instances.Comment: 18 pages, 4 figure

Alcohol reversibly disrupts TNF-α/TACE interactions in the cell membrane

BACKGROUND: Alcohol abuse has long been known to adversely affect innate and adaptive immune responses and pre-dispose to infections. One cellular mechanism responsible for this effect is alcohol-induced suppression of TNF-α (TNF) by mononuclear phagocytes. We have previously shown that alcohol in part inhibits TNF-α processing by TNF converting enzyme (TACE) in human monocytes. We hypothesized that the chain length of the alcohol is critical for post-transcriptional suppression of TNF secretion. METHODS: Due to the complex transcriptional and post-transcriptional regulation of TNF in macrophages, to specifically study TNF processing at the cell membrane we performed transient transfections of A549 cells with the TNF cDNA driven by the heterologous CMV promoter. TNF/TACE interactions at the cell surface were assessed using fluorescent resonance energy transfer (FRET) microscopy. RESULTS: The single carbon alcohol, methanol suppressed neither TNF secretion nor FRET efficiency between TNF and TACE. However, 2, 3, and 4 carbon alcohols were potent suppressors of TNF processing and FRET efficiency. The effect of ethanol, a 2-carbon alcohol was reversible. CONCLUSION: These data show that inhibition of TNF-α processing by acute ethanol is a direct affect of ethanol on the cell membrane and is reversible upon cessation or metabolism

Tumour-draining axillary lymph nodes in patients with large and locally advanced breast cancers undergoing neoadjuvant chemotherapy (NAC): the crucial contribution of immune cells (effector, regulatory) and cytokines (TH1, TH2) to immune-mediated tumour cell death induced by NAC

Background The tumour microenvironment consists of malignant cells, stroma and immune cells. In women with large and locally advanced breast cancers (LLABCs) undergoing neoadjuvant chemotherapy (NAC), tumour-infiltrating lymphocytes (TILs), various subsets (effector, regulatory) and cytokines in the primary tumour play a key role in the induction of tumour cell death and a pathological complete response (pCR) with NAC. Their contribution to a pCR in nodal metastases, however, is poorly studied and was investigated. Methods Axillary lymph nodes (ALNs) (24 with and 9 without metastases) from women with LLABCs undergoing NAC were immunohistochemically assessed for TILs, T effector and regulatory cell subsets, NK cells and cytokine expression using labelled antibodies, employing established semi-quantitative methods. IBM SPSS statistical package (21v) was used. Non-parametric (paired and unpaired) statistical analyses were performed. Univariate and multivariate regression analyses were carried out to establish the prediction of a pCR and Spearman’s Correlation Coefficient was used to determine the correlation of immune cell infiltrates in ALN metastatic and primary breast tumours. Results In ALN metastases high levels of TILs, CD4+ and CD8+ T and CD56+ NK cells were significantly associated with pCRs.. Significantly higher levels of Tregs (FOXP3+, CTLA-4+) and CD56+ NK cells were documented in ALN metastases than in the corresponding primary breast tumours. CD8+ T and CD56+ NK cells showed a positive correlation between metastatic and primary tumours. A high % CD8+ and low % FOXP3+ T cells and high CD8+: FOXP3+ ratio in metastatic ALNs (tumour-free para-cortex) were associated with pCRs. Metastatic ALNs expressed high IL-10, low IL-2 and IFN-ϒ. Conclusions Our study has provided new data characterising the possible contribution of T effector and regulatory cells and NK cells and T helper1 and 2 cytokines to tumour cell death associated with NAC in ALNs

Treponema denticola chymotrypsin-like proteinase may contribute to orodigestive carcinogenesis through immunomodulation

Background: Periodontal pathogens have been linked to oral and gastrointestinal (orodigestive) carcinogenesis. However, the exact mechanisms remain unknown. Treponema denticola (Td) is associated with severe periodontitis, a chronic inflammatory disease leading to tooth loss. The anaerobic spirochete Td is an invasive bacteria due to its major virulence factor chymotrypsin-like proteinase. Here we aimed to investigate the presence of Td chymotrypsin-like proteinase (Td-CTLP) in major orodigestive tumours and to elucidate potential mechanisms for Td to contribute to carcinogenesis. Methods: The presence of Td-CTLP within orodigestive tumour tissues was examined using immunohistochemistry. Oral, tonsillar, and oesophageal squamous cell carcinomas, alongside gastric, pancreatic, and colon adenocarcinomas were stained with a Td-CTLP-specific antibody. Gingival tissue from periodontitis patients served as positive controls. SDS-PAGE and immunoblot were used to analyse the immumodulatory activity of Td-CTLP in vitro. Results: Td-CTLP was present in majority of orodigestive tumour samples. Td-CTLP was found to convert pro MMP-8 and -9 into their active forms. In addition, Td-CTLP was able to degrade the proteinase inhibitors TIMP-1, TIMP-2, and alpha-1-antichymotrypsin, as well as complement C1q. Conclusions: Because of its presence within tumours and regulatory activity on proteins critical for the regulation of tumour microenvironment and inflammation, the Td-CTLP may contribute to orodigestive carcinogenesis.Peer reviewe

IL-10 Signaling Blockade Controls Murine West Nile Virus Infection

West Nile virus (WNV), a mosquito-borne single-stranded RNA flavivirus, can cause significant human morbidity and mortality. Our data show that interleukin-10 (IL-10) is dramatically elevated both in vitro and in vivo following WNV infection. Consistent with an etiologic role of IL-10 in WNV pathogenesis, we find that WNV infection is markedly diminished in IL-10 deficient (IL-10−/−) mice, and pharmacologic blockade of IL-10 signaling by IL-10 neutralizing antibody increases survival of WNV-infected mice. Increased production of antiviral cytokines in IL-10−/− mice is associated with more efficient control of WNV infection. Moreover, CD4+ T cells produce copious amounts of IL-10, and may be an important cellular source of IL-10 during WNV infection in vivo. In conclusion, IL-10 signaling plays a negative role in immunity against WNV infection, and blockade of IL-10 signaling by genetic or pharmacologic means helps to control viral infection, suggesting a novel anti-WNV therapeutic strategy

Bayesian Orthogonal Least Squares (BOLS) algorithm for reverse engineering of gene regulatory networks

<p>Abstract</p> <p>Background</p> <p>A reverse engineering of gene regulatory network with large number of genes and limited number of experimental data points is a computationally challenging task. In particular, reverse engineering using linear systems is an underdetermined and ill conditioned problem, i.e. the amount of microarray data is limited and the solution is very sensitive to noise in the data. Therefore, the reverse engineering of gene regulatory networks with large number of genes and limited number of data points requires rigorous optimization algorithm.</p> <p>Results</p> <p>This study presents a novel algorithm for reverse engineering with linear systems. The proposed algorithm is a combination of the orthogonal least squares, second order derivative for network pruning, and Bayesian model comparison. In this study, the entire network is decomposed into a set of small networks that are defined as unit networks. The algorithm provides each unit network with P(D|H_i), which is used as confidence level. The unit network with higher P(D|H_i) has a higher confidence such that the unit network is correctly elucidated. Thus, the proposed algorithm is able to locate true positive interactions using P(D|H_i), which is a unique property of the proposed algorithm.</p> <p>The algorithm is evaluated with synthetic and <it>Saccharomyces cerevisiae </it>expression data using the dynamic Bayesian network. With synthetic data, it is shown that the performance of the algorithm depends on the number of genes, noise level, and the number of data points. With Yeast expression data, it is shown that there is remarkable number of known physical or genetic events among all interactions elucidated by the proposed algorithm.</p> <p>The performance of the algorithm is compared with Sparse Bayesian Learning algorithm using both synthetic and <it>Saccharomyces cerevisiae </it>expression data sets. The comparison experiments show that the algorithm produces sparser solutions with less false positives than Sparse Bayesian Learning algorithm.</p> <p>Conclusion</p> <p>From our evaluation experiments, we draw the conclusion as follows: 1) Simulation results show that the algorithm can be used to elucidate gene regulatory networks using limited number of experimental data points. 2) Simulation results also show that the algorithm is able to handle the problem with noisy data. 3) The experiment with Yeast expression data shows that the proposed algorithm reliably elucidates known physical or genetic events. 4) The comparison experiments show that the algorithm more efficiently performs than Sparse Bayesian Learning algorithm with noisy and limited number of data.</p

Graphene Oxide-Gallic Acid Nanodelivery System for Cancer Therapy

Despite the technological advancement in the biomedical science, cancer remains a life-threatening disease. In this study, we designed an anticancer nanodelivery system using graphene oxide (GO) as nanocarrier for an active anticancer agent gallic acid (GA). The successful formation nanocomposite (GOGA) was characterized using XRD, FTIR, HRTEM, Raman, and UV/Vis spectroscopy. The release study shows that the release of GA from the designed anticancer nanocomposite (GOGA) occurs in a sustained manner in phosphate-buffered saline (PBS) solution at pH 7.4. In in vitro biological studies, normal fibroblast (3T3) and liver cancer cells (HepG2) were treated with different concentrations of GO, GOGA, and GA for 72 h. The GOGA nanocomposite showed the inhibitory effect to cancer cell growth without affecting normal cell growth. The results of this research are highly encouraging to go further for in vivo studies

Modeling of negative Poisson’s ratio (auxetic) crystalline cellulose Iβ

Energy minimizations for unstretched and stretched cellulose models using an all-atom empirical force field (Molecular Mechanics) have been performed to investigate the mechanism for auxetic (negative Poisson’s ratio) response in crystalline cellulose Iβ from kraft cooked Norway spruce. An initial investigation to identify an appropriate force field led to a study of the structure and elastic constants from models employing the CVFF force field. Negative values of on-axis Poisson’s ratios nu31 and nu13 in the x1-x3 plane containing the chain direction (x3) were realized in energy minimizations employing a stress perpendicular to the hydrogen-bonded cellobiose sheets to simulate swelling in this direction due to the kraft cooking process. Energy minimizations of structural evolution due to stretching along the x3 chain direction of the ‘swollen’ (kraft cooked) model identified chain rotation about the chain axis combined with inextensible secondary bonds as the most likely mechanism for auxetic response